" Pamela Zave" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings

Автор: Jose N. Oliveira, Автор: Pamela Zave

Размер книги: 4.28 Mb

FME 2001. Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001. Proceedings

Автор: Jose N. Oliveira, Автор: Pamela Zave

Размер книги: 5.04 Mb